Skip to content

Conversation

@jessebraham
Copy link
Member

@jessebraham jessebraham commented Jun 4, 2024

This isn't going to trigger our CI, so will bypass branch protection and just merge this directly (though we really need to fix this 😅)

@jessebraham jessebraham merged commit 8a47e42 into esp-rs:main Jun 4, 2024
@jessebraham jessebraham deleted the fixes/misc branch June 4, 2024 16:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant